Nuprl Definition : Filter
4,23
postcript
pdf
Macro
filter(
x
.
P
(
x
);
L
) == filter(
x
.
P
(
x
);
L
)
(recursive)
latex
clarification:
unconditional
filter(
x
.
P
(
x
);
L
) == filter(
x
.
P
(
x
);
L
)
(recursive)
latex
origin
x.P(x);L) == filter(x.P(x);L)
x.P(x);L) == filter(x.P(x);L)
x.P(x);L) == filter(x.P(x);L)
x.P(x);L) == filter(x.P(x);L)